Language of mathematics - PDFSEARCH.IO - Document Search Engine

Language of mathematics
Results: 1871

#	Item
551	PragmaDev Tracer is a brand new set of tools that aims at verifying a system matches its expected dynamic. Benefits • Express the requirements of your system, Add to Reading List Source URL: www.pragmadev.com Language: English - Date: 2013-06-04 05:02:15 Information science Message Sequence Chart Software requirements Mathematics Tracer Requirement Unified Modeling Language Sequence diagram Trace Diagrams UML diagrams Software development
552	ACK/CEM Compiler Reference Manual Erik H. Baalbergen Department of Mathematics and Computer Science Vrije Universiteit Amsterdam Add to Reading List Source URL: tack.sourceforge.net Language: English - Date: 2011-02-11 16:00:22 C programming language C++ Data types Procedural programming languages Enumerated type C++ classes Initialization Sizeof C Software engineering Computer programming Computing
553	to be published in: Foundations of Science 4(1), 1999 Advantages and limitations of formal expression Francis HEYLIGHEN * Center "Leo Apostel" Add to Reading List Source URL: cleamc11.vub.ac.be Language: English - Date: 2014-05-02 12:27:22 Philosophical logic Formal languages Philosophy of language Philosophy of mathematics Semantics Expression Regular expression Meaning Fuzzy logic Logic Mathematics Philosophy
554	A TENSOR-COMPETITION BASED ARCHITECTURE: TO CAPTURE THE INFLUENCE OF WORD SENSE Eshaa M. Alkhalifa Dept. of Comp. Sc., College of IT, University of Bahrain, Isa Town, Bahrain [removed] ABSTRACT Studies done i Add to Reading List Source URL: www.silvertair.com Language: English - Date: 2009-07-08 10:08:05 Abstract algebra Linear algebra Tensors Information retrieval Latent semantic analysis Document-term matrix Matrix Euclidean vector Vector space Algebra Mathematics Natural language processing
555	A Verified Formal Model of a VC Generator R.D. Arthan Lemma 1 Ltd. 2nd Floor, 31A Chain Street Reading UK RG1 2HX Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:38:35 Applied mathematics Mathematics Program logic Model theory Hoare logic Syntactic predicate Formal verification Programming language Semantics of programming languages Theoretical computer science Formal methods Logic in computer science
556	Meta-model-based implementation of Sudoku: Eclipse vs. Visual Studio Ingelin F. Isfeldt Terje Gjøsæter Andreas Prinz Add to Reading List Source URL: www.nik.no Language: English - Date: 2009-01-21 06:22:52 Logic puzzles Recreational mathematics NP-complete problems Sudoku Object Constraint Language Eclipse Domain-specific language ECO Metamodeling Software Computing Unified Modeling Language
557	USERS MANUAL GRASP: a data analysis package for gravitational wave detection Bruce Allen Department of Physics University of Wisconsin - Milwaukee Add to Reading List Source URL: www.lsc-group.phys.uwm.edu Language: English - Date: 1999-04-19 14:10:27 Signal processing C programming language Chirp LIGO Function Mathematical optimization Struct GRASP C Computing Mathematics Software engineering
558	On Correctness of Imperative Programs — Precondition Calculation (DRAFT) R.D. Arthan 10 December 2006 Add to Reading List Source URL: lemma-one.com Language: English - Date: 2006-12-10 08:21:16 Functional predicate Model theory Predicate Programming language Necessity and sufficiency Logic Mathematical logic Mathematics
559	NOMAD: A Distributed Framework for Latent Variable Models Inderjit S. Dhillon Department of Computer Science University of Texas at Austin Joint work with H.-F. Yu, C.-J. Hsieh, H. Yun, Add to Reading List Source URL: stanford.edu Language: English - Date: 2014-12-13 17:27:34 Ordinal number Recommender system Topic model Mathematics Science Artificial intelligence Statistical natural language processing Latent Dirichlet allocation Integral transform
560	to be published in: Foundations of Science 4(1), 1999 Advantages and limitations of formal expression Francis HEYLIGHEN * Center "Leo Apostel" Add to Reading List Source URL: cleamc11.vub.ac.be Language: English - Date: 2014-05-02 12:27:22 Philosophical logic Formal languages Philosophy of language Philosophy of mathematics Semantics Expression Regular expression Meaning Fuzzy logic Logic Mathematics Philosophy

UPDATE